61. Computability theory
پدیدآورنده : Cooper, S. B. )S. Barry(
موضوع : ، Computable functions
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
62. Computability theory
پدیدآورنده : Cooper, S. Barry, 3491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computable functions
رده :
QA
9
.
59
.
C66C6
63. Computability theory
پدیدآورنده : Cooper, S. B.S. Barry(
کتابخانه: Central Library and Documentation Center (Semnan)
موضوع : ، Computable functions
رده :
QA
9
.
59
.
C68
2004
64. Computability theory /
پدیدآورنده : Rebecca Weber
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computable functions,Recursion theory
رده :
QA9
.
6
.
W43
2012
65. Computability theory: an introduction
پدیدآورنده : )by( Neil D. Jones,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Recursive functions,Turing machines,Computable functions
رده :
QA
.
J66
248
.
5
66. Computability theory and its applications: current trends and open problems: proceedings of a 1999 AMS-IMS-SIAM joint summer research conference, computability theory and applications, June 13-17, 1999, University of Colorado, Boulder
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Computable functions
رده :
QA
9
.
59
.
C66
1999
67. Computability theory : concepts and applications
پدیدآورنده : Dunne, Paul E
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Computable functions , Recursion theory , Turing machines
رده :
QA
9
.
59
.
D85
68. Computability & unsolvability
پدیدآورنده : Davis, Martin
موضوع : ، Recursive functions,، Unsolvability )Mathematical logic(,، Computable functions
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
69. Computability & unsolvability
پدیدآورنده : DAVIS,MARTIN DAVID
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : RECURSIVE FUNCTIONS , UNSOLVABILITY )MATHEMATICAL LOGIC( , COMPUTABLE FUNCTIONS
رده :
QA
9
.
615
.
D38
70. Computability with pascal
پدیدآورنده : Mallozzi, John s.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Data processing ، Computable functions,Data processing ، Recursive functions,، Pascal )Computer program language(
رده :
QA
9
.
59
.
M34
1984
71. Computable analysis
پدیدآورنده : / by Klaus Weihrauch
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Computable functions,Recursion theory,Mathematical analysis
رده :
QA9
.
59
.
W46
2000
72. Computable analysis : an introduction
پدیدآورنده : Weihrauch, Klaus, 3491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computable functions,، Recursion theory,، Mathematical analysis
رده :
QA
9
.
59
.
W44C6
73. Computable analysis: an introduction
پدیدآورنده : Weihrauch, K. )Klaus(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computable functions,، Recursion theory,، Mathematical analysis
رده :
QA
9
.
59
.
W46
2000
74. Computable functions
پدیدآورنده : Vereshchagin, Nikolai Konstantinovich, 8591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computable functions
رده :
QA
9
.
59
.
V47V913
75. Computable functions /
پدیدآورنده : A. Shen, N.K. Vereshchagin ; translated by V.N. Dubrovskii
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computable functions
رده :
QA9
.
59
.
V4713
2003
76. Computable set theory
پدیدآورنده : Cantone, Domenico
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Set theory,، Computable functions
رده :
QA
248
.
C26C6
77. Computable structures and the hyperarithmetical hierarchy
پدیدآورنده : / C.J. Ash, J. Knight
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Computable functions.
رده :
QA
,
9
.
59
,.
A84
,
2000
78. Computable structures and the hyperarithmetical hierarchy
پدیدآورنده : / C.J. Ash, J. Knight
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Computable functions
رده :
E-BOOK
79. Computable structures and the hyperarithmetical hierarchy
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computable functions. ;
80. Computation and automata
پدیدآورنده : Salomaa, Arto
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computable functions,، Computational complexity,، Sequential machine theory
رده :
QA
9
.
59
.
S25
1985
